大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Computer Applications for Handling Legal Evidence, Police Investigation and Case Argumentation [electronic resource]

0
索取号：
作者：Nissan、 Ephraim.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2012.

Theory and Applications of Ontology: Computer Applications [electronic resource]

0
索取号：
作者：Poli、 Roberto.、Healy、 Michael.、Kameas、 Achilles.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2010.

Procedural Semantics for Hyperintensional Logic [electronic resource] : Foundations and Applications of Transparent Intensional Logic

0
索取号：
作者：Du啪铆、 Marie.、Jespersen、 Bjorn.、Materna、 Pavel.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.

Electronic Engineering and Computing Technology [electronic resource]

0
索取号：
作者：Ao、 Sio-Iong.、Gelman、 Len.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2010.

Applied Time Series Analysis and Innovative Computing [electronic resource]

0
索取号：
作者：Ao、 Sio-Iong.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.

International Comparisons of China's Technical and Vocational Education and Training System [electronic resource]

0
索取号：
作者：Guo、 Zhenyi.、Lamb、 Stephen.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.

Changing Climates, Earth Systems and Society [electronic resource]

0
索取号：
作者：Dodson、 John.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.

Global Environmental Change: Challenges to Science and Society in Southeastern Europe [electronic resource] : Selected Papers presented in the International Conference held 19-21 May 2008 in Sofia Bulgaria

0
索取号：
作者：Alexandrov、 Vesselin.、Gajdusek、 Martin Felix.、Knight、 C. Gregory.、Yotova、 Antoaneta.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.

Applications of Mathematics in Models, Artificial Neural Networks and Arts [electronic resource] : Mathematics and Society

0
索取号：
作者：Capecchi、 Vittorio.、Buscema、 Massimo.、Contucci、 Pierluigi.、D'Amore、 Bruno.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.

Robust Computing with Nano-scale Devices [electronic resource] : Progresses and Challenges

0
索取号：
作者：Huang、 Chao.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.

Technical Functions [electronic resource] : On the Use and Design of Artefacts

0
索取号：
作者：Houkes、 Wybo.、Vermaas、 P.E.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2010.

Mathematical Summary for Digital Signal Processing Applications with Matlab [electronic resource]

0
索取号：
作者：Gopi、 E. S.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.

Advanced Techniques in Computing Sciences and Software Engineering [electronic resource]

0
索取号：
作者：Elleithy、 Khaled.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2010.

Innovations and Advances in Computer Sciences and Engineering [electronic resource]

0
索取号：
作者：Sobh、 Tarek.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2010.

Defending Hypatia [electronic resource] : Ramus, Savile, and the Renaissance Rediscovery of Mathematical History

0
索取号：
作者：Goulding、 Robert.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.

Intelligent Automation and Computer Engineering [electronic resource]

0
索取号：
作者：Huang、 Xu.、Ao、 Sio-Iong.、Castillo、 Oscar.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.